#include <stdio.h>
int decode2(int x,int y,int z)
{
  int m;
  z -= y;
  m = z;
  m <<= 15;
  m >>= 15;
  return m*(z^x);
}
